vcs "-R" "-gui" "-debug_all" "../ref/models/saed90nm.v" "../source/Johnson_count_dc.v" "../results/atpg_parallel.v"
